$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. ($a$ rem $n$) = ($a$ {-} (($a$ $\div$ $n$) $\ast$ $n$))